<?php


$line0 = file_get_contents("current.txt");
$param = explode('|', $line0,2);

$current = $param[0];



if ($_SERVER['REQUEST_METHOD'] == 'POST'){
 echo "";
}else {
	/*Ouvre le fichier et retourne un tableau contenant une ligne par élément*/
	$lines = file('script.txt');
	$lineslogtime = file('FOPLogTime.txt');
	$taillelogtime = count($lineslogtime);
	$taille = count($lines);
	$chaine = $current."|".$taille;
	$fp = fopen ("current.txt", "w+");
	fseek ($fp, 0);
	fputs ($fp, $chaine );
	fclose ($fp);

	/*On parcourt le tableau $lines et on affiche le contenu de chaque ligne précédée de son numéro*/
	$tab=array();
	foreach ($lines as $lineNumber => $lineContent)
	{
		
		$ligne['line']=$lineNumber;
		$ligne['instruction']=$lineContent;
		$ligne['entity']="";
		
		if ($lineNumber<$taillelogtime){
			$paramLog = explode('|', $lineslogtime[$lineNumber],3);
			$ligne['label']=$paramLog[2];
			$ligne['time']=$paramLog[1];
			
		}
		else{
			$ligne['label']="";
			$ligne['time']="";
		}
		$tab[$lineNumber]=$ligne;
	}
	//////////////////////R
	$json['nb_lignes']=$taille;
///////////////////////////////////////////////////////
	$json['change']="yes";
	$json['current_line']=$current;
	$json['type']="DATA";
	$json['content']=$tab;
	 echo json_encode($json);
}